Number-theoretic set theories.
نویسندگان
چکیده
منابع مشابه
Constructive Set Theories and their Category-theoretic Models
We advocate a pragmatic approach to constructive set theory, using axioms based solely on set-theoretic principles that are directly relevant to (constructive) mathematical practice. Following this approach, we present theories ranging in power from weaker predicative theories to stronger impredicative ones. The theories we consider all have sound and complete classes of category-theoretic mode...
متن کاملA Number-theoretic Conjecture and Its Implication for Set Theory
For any set S let ∣ ∣ seq1-1(S) ∣ ∣ denote the cardinality of the set of all finite one-to-one sequences that can be formed from S, and for positive integers a let ∣ ∣a ∣ ∣ denote the cardinality of all functions from S to a. Using a result from combinatorial number theory, Halbeisen and Shelah have shown that even in the absence of the axiom of choice, for infinite sets S one always has ∣ ∣ se...
متن کاملOrder-theoretic Invariants in Set-theoretic Topology
We present several results related to van Douwen’s Problem, which asks whether there is homogeneous compactum with cellularity exceeding c, the cardinality of the reals. For example, just as all known homogeneous compacta have cellularity at most c, they satisfy similar upper bounds in terms of Peregudov’s Noetherian type and related cardinal functions defined by order-theoretic base properties...
متن کاملPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملSet Theoretic Real Analysis
This article is a survey of the recent results that concern real functions (from R into R) and whose solutions or statements involve the use of set theory. The choice of the topics follows the author’s personal interest in the subject, and there are probably some important results in this area that did not make it to this survey. Most of the results presented here are left without proofs. 1991 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1985
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870763